Programming language theory - PDFSEARCH.IO - Document Search Engine

Programming language theory
Results: 4158

#	Item
101	From Hindley-Milner Types to First-Class Structures Mark P. Jones Department of Computer Science, University of Nottingham, University Park, Nottingham NG7 2RD, England. Abstract Add to Reading List Source URL: web.cecs.pdx.edu Language: English - Date: 2005-10-01 03:14:51 Type theory Software engineering Programming language theory Computer programming Standard ML System F ML Type constructor Polymorphism Kind System U Type inference
102	How to make ad-hoc polymorphism less ad hoc Philip Wadler and Stephen Blott University of Glasgow OctoberAbstract Add to Reading List Source URL: 202.3.77.10 Language: English - Date: 2016-05-28 06:05:21 Software engineering Computer programming Programming language theory Type theory Data types Functional programming Functional languages Procedural programming languages Type class Standard ML Parametric polymorphism Relational operator
103	Georg Heeg eK Baroper StrDortmund Germany Tel: +Fax: + Add to Reading List Source URL: www.heeg.de Language: English - Date: 2012-11-15 10:07:16 Software engineering Computer programming Programming language theory Object-oriented programming languages Smalltalk VisualWorks IBM VisualAge
104	IEEE ISORC 2014 Program Time Monday, 9 June 2014: Workshops SEUS SESSION 1: Embedded Systems Design & Applications Add to Reading List Source URL: www.isorc2014.org Language: English - Date: 2014-05-08 09:52:22 Software engineering Computing Programming language theory System of systems Systems engineering Systems theory Embedded system Hermann Kopetz Cyber-physical system Ada Model checking Operating system
105	Transition Plan Comments Page Number 5, Sect, Sect. 2.2 Add to Reading List Source URL: nevadadot.com Language: English - Date: 2016-04-13 17:50:19 Software engineering Computing Programming language theory Nevada Department of Transportation Accessibility ADAPT Ada Department of transportation
106	A Formal Model and Composition Language for Context-Aware Service Protocols A Formal Model and Composition Language for Context-Aware Service Protocols Javier Cubo, Carlos Canal, Ernesto Pimentel, Gwen Sala¨ un Add to Reading List Source URL: casta.unibe.ch Language: English - Date: 2012-07-02 10:13:08 Theoretical computer science Logic in computer science Programming language semantics Communications protocol Data transmission Model theory Operational semantics Models of computation
107	Open Source in Quant Finance Taking part in a Revolution ! Yves Hilpisch ! Add to Reading List Source URL: hilpisch.com Language: English - Date: 2015-06-04 11:23:58 Software engineering Computer programming Scripting languages Programming language theory Quantitative analyst Valuation Python Open data
108	STATECRAFT INSTRUCTOR’S GUIDE This brief instructor’s guide contains the answers to frequently asked questions about general setup and operation of the Statecraft simulation. Please read it carefully before beginning Add to Reading List Source URL: game.statecraftsim.com Language: English - Date: 2013-04-20 11:42:30 Operations research Simulation Simula Scientific modelling Epistemology Computer programming Programming language theory
109	Dynamic Inference of Abstract Types Philip J. Guo Jeff H. Perkins Stephen McCamant Add to Reading List Source URL: pgbovine.net Language: English - Date: 2014-01-03 23:24:44 Software engineering Computing Data types Programming language theory Type theory Type system Array data type Scala Abstract data type Variable Type inference HindleyMilner type system
110	TERMS AND CONDITION – “RIO OLYMPICS” CONTEST CONTEST DETAILS: 1) These terms and conditions shall apply to the contest viz. “RIO OLYMPICS” (hereinafter referred to as “Contest”) run by Tata Chemicals Limite Add to Reading List Source URL: www.tatasalt.com Language: English - Date: 2016-07-13 08:42:51 Software engineering Scripting languages Tcl Computer programming Programming language theory EMA

UPDATE